{-
Extrae el contexto a partir de los TypeSuperCombinator
 
builtInitialHaskellContext:: haskellProgram->context
haskellProgram : Haskell Program
context        : Type context [(String, HaskellType)] 
-}
builtInitialHaskellContext:: Program->[TypeDefinition]
builtInitialHaskellContext cs = map getType haskellTypes
      where
        haskellTypes  = filter isTypeDefinition cs
        getType (TypeDefinitionSc typeInfo) = typeInfo
        getType sc    = error ("Invalid type super convinator")

